<?php
require_once('Zend/Session/Namespace.php');

class Extension_Session_Namespace extends Zend_Session_Namespace
{
    
}